($\backslash$p.Thin (get\_int\_arg `hn` p) p)